Aspect-oriented requirement analysis based on Formal method

Lightweight Formal Analysis of Aspect-Oriented Models

In aspect-oriented modeling at early stages of the software development, model descriptions with various abstraction levels are involved so that two kinds of model transformation, refinement as well as weaving, should be considered. We adapt a role-based aspect-oriented modeling method and define a notion of aspect weaving as role merging. We further adapt Alloy, a lightweight formal specificat...

Aspect Oriented Requirement Engineering: A Theme Based Vector Orientation Model

Separation of Concerns, in the field of Software Engineering has been an important issue for quite some time. And this issue is very much related to Aspect Oriented Software Development. This is so because Aspects happen to be certain concerns that get interleaved with the Core-Functionalities in such a way that they become nearly inseparable. As a result of which both the designer as well as t...

Aspect-Oriented Analysis: a MDA Based Approach

Actually, there are many approaches to deal with crosscutting concerns in early stages in software development. One is MDSOC, which promotes the encapsulation of all relevant kinds of concerns (dimensions) and their integration. MDSOC starts from an initial problem decomposition to design the system. No discussion about how this decomposition should be carried is presented. Based on this defici...

Aspect-Oriented Domain Analysis

GPRN: A Hierarchical Framework for Aspect-oriented Requirement Modeling

One of the most important characteristics in aspect-oriented requirement modeling is effectively dealing with crosscutting concerns. This paper presents a hierarchical GPRN framework for aspect-oriented requirement modeling. The framework breaks requirements into three layers including goal layer, process layer and requirement net layer. Goal layer defines crosscutting concerns from goals, proc...